Tim Gowers

OpenAI announced in mid-May that an internal AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had remained unsolved for 80 years. The result marks the …

An AI model developed by OpenAI has autonomously produced a novel proof refuting a conjecture in geometry posed by mathematician Paul Erdős in 1946, which had remained unsolved for nearly 80 years. Th…

A major unsolved geometry problem known as the "unit distance" conjecture, first posed by mathematician Paul Erdős in 1946, has been solved by an AI chatbot developed by OpenAI. The AI produced a nove…